public record Record(<caret>) {
}